/*
 * realloc.h
 *
 *  Created on: 07/05/2012
 *      Author: putaro
 */

#ifndef REALLOC_H_
#define REALLOC_H_
/*
 *	Pre:  Puntero es un puntero no nulo a la memoria original, tamanioViejo es
 *	el tama�o viejo y tamanioNuevo es el tama�o que se pretende asignarse.
 *	Post: Se ha cambiado el contenido de puntero, por uno de mayor tama�o y se ha
 *	retornado el tama�o nuevo.
 *	En caso de no poder asignar la memoria pretendida o que el tama�o nuevo pretendido
 *	sea menor al viejo el puntero conserva su tama�o y se retorna el tama�o viejo.
 */
extern int realloc(void*puntero , int tamanioViejo, int tamanioNuevo);

#endif /* REALLOC_H_ */
